Fix x86/64 version of Mini-OS. It encompasses the following:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 2 May 2006 08:12:39 +0000 (09:12 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 2 May 2006 08:12:39 +0000 (09:12 +0100)
commitf08246e1976e3ae483c2568e4e510cb3f2b6e44d
treeb4a7999be3d4dc10a52652824a3dde2cc767ed29
parentaf8fc368d78db62f9f637e7e433d1a5027ef47b1
Fix x86/64 version of Mini-OS. It encompasses the following:
a) 64-bit switch_to scheduler macro (by Aravindh Puthiyaparambil)
b) implements 64-bit hypervisor_callback
c) fixes thread creation issues (thread_starter used to perform
initialisation)

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/console/console.c
extras/mini-os/events.c
extras/mini-os/hypervisor.c
extras/mini-os/include/mm.h
extras/mini-os/include/os.h
extras/mini-os/include/sched.h
extras/mini-os/kernel.c
extras/mini-os/minios-x86_64.lds
extras/mini-os/sched.c
extras/mini-os/x86_32.S
extras/mini-os/x86_64.S